Facet browsing currently unavailable
Page 1 of 171 results
Sort by: relevance publication year
Eco-Grammar Systems BOOK CHAPTER published 2004 in Formal Languages and Applications |
ON NORMAL FORM GRAMMARS AND THEIR SIZE PROCEEDINGS ARTICLE published September 2010 in Automata, Formal Languages and Algebraic Systems |
2. THE SOUNDS AND SYSTEMS OF WRITING BOOK CHAPTER published in A Grammar of Formal Written Japanese |
Systems of syntax: 1951–1955 BOOK CHAPTER published 16 February 2006 in Linguistics and the Formal Sciences |
Foundations for Wide-Area Systems BOOK CHAPTER published 1999 in Formal Methods for Open Object-Based Distributed Systems |
L Systems BOOK CHAPTER published 1997 in Handbook of Formal Languages |
Type Systems for Programming Languages BOOK CHAPTER published 1990 in Formal Models and Semantics |
Grammar Systems BOOK CHAPTER published 1997 in Handbook of Formal Languages |
On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages BOOK CHAPTER published 2017 in Descriptional Complexity of Formal Systems |
Families Generated by Grammars and L Systems BOOK CHAPTER published 1997 in Handbook of Formal Languages |
Algebraic Governance and Symmetry in Dependency Grammars BOOK CHAPTER published 2016 in Formal Grammar |
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing |
Hybrid DPLL-Style SAT Solver BOOK CHAPTER published 2007 in Series on Integrated Circuits and Systems |
Computability of Homogeneous Models JOURNAL ARTICLE published 1 January 2007 in Notre Dame Journal of Formal Logic |
Matrix Grammars versus Parallel Communicating Grammar Systems BOOK CHAPTER published October 1994 in Mathematical Aspects of Natural and Formal Languages |
Grammars, Grammar Systems, and GSM Mappings with Valences BOOK CHAPTER published October 1994 in Mathematical Aspects of Natural and Formal Languages |
Grammar Systems: a Multi-Agent Framework for Natural Language Generation BOOK CHAPTER published October 1994 in Mathematical Aspects of Natural and Formal Languages |
From Model-Based Design to Formal Verification of Adaptive Embedded Systems BOOK CHAPTER published 2007 in Formal Methods and Software Engineering |
SOLVING SYSTEMS OF EQUATIONS MODULO PSEUDOVARIETIES OF ABELIAN GROUPS AND HYPERDECIDABILITY PROCEEDINGS ARTICLE published June 2007 in Semigroups and Formal Languages |
Feasibility of the Use of Formal Methods for Manufacturing Systems OTHER published 26 June 2014 in Formal Methods Applied to Complex Systems |